\def\batchfile{#selstart#batchFileName#selend#}
\input docstrip.tex
